Algebraic decomposition of regular curves
نویسندگان
چکیده
منابع مشابه
Regular cylindrical algebraic decomposition
We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algeb...
متن کاملError Bounded Regular Algebraic Spline Curves Extended Abstract
i=0 Pn n=0 bijB m i (u)B n j (v) of bi-degree (m;n) has total degree m + n, however, the class of Gmn(u; v) is a subset of polynomials of total degree m + n. G (resp G) continuity implies curve segments share the same tangent(curvature) at join points(knots). In each of the G and G constructions, we develop a spline curve family whose member satis es given interpolation conditions. Each family ...
متن کاملTruth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by pol...
متن کاملAlgebraic Curves
We consider the problem of tracing algebraic curves by computer, using a numerical technique augmented by symbolic computations. In particular, all singularities are analyzed cOITectly. The methods presented find application in solid modeling and robotics.
متن کاملGeometry of Algebraic Curves
The canonical divisor on a smooth plane curve 30 6.2. More general divisors on smooth plane curves 31 6.3. The canonical divisor on a nodal plane curve 32 6.4. More general divisors on nodal plane curves 33
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1988
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(88)80009-9